#include<stdio.h>

int main()
{
	int flag=0,i,j,k,n;
	scanf("%d",&n);
	for (i=0;i<=100;i++)
		for (j=0;j<=100-i;j++)
			for (k=0;k<=100-i-j;k++)
				if ((i+j+k==100)&&(5*i+3*j+k/3.0==n))
				{
					flag=1;
					printf("%d %d %d\n",i,j,k);
				}
	if (flag==0)
		printf("NO\n");
	return 0;
}
